Telex: Principled System Support for Write-Sharing in Collaborative Applications

The Telex system is designed for sharing mutable data in a distributed environment, particularly for collaborative applications. Users operate on their local, persistent replica of shared documents; they can work disconnected and suffer no network latency. The Telex approach to detect and correct conflicts is application independent, based on an action-constraint graph (ACG) that summarises the concurrency semantics of applications. The ACG is stored efficiently in a multilog structure that eliminates contention and is optimised for locality. Telex supports multiple applications and multi-document updates. The Telex system clearly separates system logic (which includes replication, views, undo, security, consistency, conflicts, and commitment) from application logic. An example application is a shared calendar for managing multi-user meetings; the system detects meeting conflicts and resolves them consistently. Key-words: No keywords ∗ This research is supported in part by Respire (ANR, France, respire.lip6.fr), Grid4All (FP6, EU, www.grid4all.eu) and grant JC2007-00213 (Spain). † INRIA, Paris-Rocquencourt, France ‡ LIP6, Paris, France § Universitat Oberta de Catalunya, Barcelona, Spain ¶ National Technical University of Athens, Greece Telex : un système de partage en écriture pour les applications collaboratives, basé sur un modèle formel Résumé : Le système Telex est conçu pour le partage des données modifiables dans un environnement réparti, principalement pour des applications collaboratives. Les utilisateurs opèrent sur une copie locale et persistante des documents qu’ils partagent ils peuvent travailler en mode déconnecté, et ne sont pas ralentis par la latence du réseau. Telex utilise une approche indépendante de l’application pour détecter et corriger les conflits, qui se base sur un graphe actions-contraintes (ACG) qui résume la sémantique de concurrence des applications. L’ACG est stocké de façon efficace dans une structure dite multi-journal qui élimine la contention et est optimisée pour la localité. Des applications différentes s’exécutent sur Telex, qui permet de mettre à jour plusieurs documents de façon coordonnée. Telex sépare proprement la logique système (ce qui inclut la réplication, les vues, le «undo», la sécurité, la cohérence, les conflits, et la finalisation) de la logique applicative. Un exemple d’application est un calendrier partagé, pour gérer des réunions multi-utilisateur le système détecte les conflits de réunion et les résout de façon cohérente. Mots-clés : Pas de motclef Telex: Principled Sys. Support for Write-Sharing in Collab. Apps. 3